perm filename PNSS10.360[360,GF] blob sn#872335 filedate 1989-04-21 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'βH↔εBp→'#λ≤g∧ 0E"qPBtxε∪!t`αA d`↓Bd`↓α@U@β⊗ UHαV UHαVe(∧Ta5λβ@TxαA ThαA`T`αα TXαα@TPαα`TPαα`TPαα@dPαBtPβ↓ 0λαRa@⊂αS↓ _αS@T("_BqX∩I⊂(%A)0(%A)0(%A)0(%A)0(%A)0(%A P0%A 0P%A ⊂h%A ⊂⊂αAi08βAI00∧AI00¬↓)0(¬A)0(¬AI0(ε↓)0(ε↓)0(ε↓)0(ε↓)0(ε↓)0(ε↓)0(ε↓)0(ε↓)0(¬AI0(¬A)0(¬A)0(¬↓I0(¬↓)00∧↓I0@α↓i0 C)0⊂ααj@0"Q1⊂
FC⊂8β∪a$pε∪ `(↓S`8↓∪P@↓∩``HR`TXαR@TPαR@TPαR@TPαR@TPαR@TXαR`TXβ∪T`βα∀hβ↓ DpεSa%λβ⊃(F FDR λA+0(-A+0(-A+0(-A+0(-A+0(-A*⊂0α↓)pP↓↓)a⊂&A`@@&↓A0&↓! (%AA (%A!0(%A!0(%↓A0(%↓!@(%↓!@(%↓!@(%↓!@(%↓!@(%↓!@(%↓!@(%↓!@(%↓A0(%A!0(%A! 0%AA⊂0&↓@p8&↓`P@&C ⊂('α@0((↓HT 2EC⊃PAa∧xε∪AdhαA@T`αBD`αα@DXαB@DXαB`4XαβDPαCDP
RBTP
R@TPαR@TPαR@dXαR`dXβ∪``SpHα∪!(αSB∧xεT@t("→Aq∩I!0(α)pP'↓I`('↓)P(&A)P(&A)P(&A)P(%βi x%βiP(&A)P(&A)P(&A)P(&A)P(&A)P(&A)P(&A)P(&A)P(&A)P(&A)P(&↓HT 3EC∩ A`dx¬A$pε@ DhβA↓∧`βαd`αB@TXβα@TXαB`TXαB`TPβα`TPαCTPαCTPαCTPαCTPαCTPαCTPαCTPαCTPβα`TXαB`TXαB@dXβα d`β↓`t`βA!∧hε@ Tp¬@@Uβ↓ UXαV@UPαV U@β∃`d`↓A@t`πS↓Tx∧⊃(F@FdB A)0(%A)0(%A)0(%A)0(%A)0(%A)0(αAI0(↓B)0(↓αi0(@@P(%A`p(%AA(%AA⊂(%A! (%A! (%A! (%A! (%A! (%A! (%A! (%A! (%A! (%A! (%A! (%A! (%A! (%A! (%A! (%A! (%A! (%A! (%A! ("Q
⊂@¬HD _↓ST`αSTh↓Q`P⊂αST`αST`αST`αST`αST`αST`αST`αST`αST`αST`αST`αST`αQ(FP¬αER⊂βip('A)p((hp(αA)p('A)p('A)p('A)p('A)p('A)p('A)p('A)p('A)p('A)p('A)p('A)p('A)p('A)p('A)p '↓)`(%@⊂(%α	 8&↓λT 5FβB ∩ TXαR`TXαR`TXαR`TXαR`TXαR`TXαR`PXα∩`PPα∩`PHα∩`P@α∩`P8α∩`P0α∩`P(α∩`P α∩`P_α∩`P⊂α∩`Pλα∩a4Xα@ TXα@@TXα@@dXα@`dXαATXαA TXαA@TXαA@dXαA`dXαBTXαB TXαB@TXαB@d("≠↓X∩	 (&↓)@(&↓)@(&↓)@(&↓)@(&↓)@(&↓)@(&↓)@(&↓)@(&↓)@(&↓)@(&↓)@(&↓)@(&↓)@(&↓)@(&↓)@(&↓)@(&↓)@(&↓)@("Q
R(∀F#⊂XαB@dXα@a0¬∩`P⊂¬↓↓DXα@  (α@@0(αR`p8α@ 8αR``@βBTXβα `HαR`PPαB@TXαB@PPαR`PPαB@TXαB@PPαR`PPαB@TXαB@PPαR`PPαB@TXαB@PPαR`PPαB@TXαB@PPαR`PPαB@TXαB@PPαR`PPαB@TXαB@PPαR`PPαB@TXαB@PPαR`PPαB@TXαB@PPαR`PPαB@T("≠BqXF!00%A 0H%A  X%A ⊂⊂αA)08βA)00∧↓)00∧A)0(¬↓)0(¬↓)0(¬↓)0(¬↓)0(¬↓)0(¬↓)0(¬↓)0(¬↓)0(¬↓)0(¬↓)0(¬↓)0(¬↓)0(¬↓)0(¬↓)0(¬↓)0(¬↓)0(¬↓)0(¬↓)0(¬↓(T 7Ec!PB eλ¬SadpαA dhαA`d`αB T`αB@TXαB`TXαB`TXαβ TPαC TPαC TPαC TPαC TPαC TPαC TPαC TPαC DXαB`TXαB`TXαB@T`αB T`β↓`Thβ↓ Tpπ∪a5⊂β⊃(GFd1H¬AI0(↓BI0(C)0@αAi08βAI00∧AI00¬↓)0(¬A)0(¬AI0(ε↓)0(ε↓)0(ε↓)0(ε↓)0(ε↓)0(ε↓)0(ε↓)0(ε↓)0(¬AI0(¬A)0(¬A)0(¬↓I0(¬↓)00∧↓I0@α↓i1⊂%A  P%A @0%A)0(%A)0(%A)0(%A)0(%AHT 8F#B_A`dx¬A$pε@ DhβA↓∧`βαd`αB@TXβα@TXαB`TXαB`TPβα`TPαCTPαCTPαCTPαCTPαCTPαCTPαCTPαCTPβα`TXαB`TXαB@dXβα d`β↓`t`βA!∧hε@ Tp¬@@Uβ↓ UXαV`UXαV`UXαV`UXαV`UXβ⊃(G⊂λ¬β⊃H¬↓)0(↓α	0(B)08α↓	00β@I00%A)0(%A)0(%A)0(%A)0(%A)0(%A)0(%A)0(%A)0(%A)0(%A)0("Q∞1⊂
εC⊂0βSADhπ∪P(αR`P@↓R`@P↓∩`DXα∩`D`α∪Thβ∪A¬∧∀@u β∃@U8α⊗E@α⊗DP↓βDPαα DPβ↓ dPλ∪↓TxβQ(G 	∧Cqpβ@I`('↓)`('↓)`(%∧	!%∧	`('↓)`('↓)`('↓)`('↓)`('↓)`('↓)`('↓)`('↓)`('A)p(βIp0αjX(B*0("Q∞Q0F#λαB@TXαB@TXαB@TXαB@TXαB@TXαB@TXαB@TXαB@TXαB@TXαB@TXαB@TXαB@TXαB@TXαB@TXαB@TXαB@TXαB@TXαB@TXαB@TXαB d`αBd`αA`t`β↓  λαS!0⊂αSA⊂_αS`d("≥C⊃PF⊂(π↓	0(π↓	@(ε↓	@(ε↓	@0¬A	P(¬↓	P0∧A	`(∧↓	`(∧↓	`0βA	p(β↓	p0αA
(α@j0↓A
⊂(↓@j⊂0A
⊂0A
 (@j H)Aj08)Aj@(*↓*P_*@hT ;I$aPD@4XαC0Xα∩`PXαα`DXαB`PPα∩``Hβα T`αB p@α∪P@∧αD`αB↓⊂8α∪`0α P0αS P0↓@@`(α∪ P(α`P(α∪ ` α`P(α∪@P_α↓ P_α∪@P_α↓ P_α∪@P_↓A`P⊂α∪@`λα↓`P⊂α∪`Pλ↓BP⊂↓S`Pλ↓B Pλ↓Sa⊂H∧SaX∧∀pXβT`hβ∀`hβ∀PxαT @xα∀ 1λ↓T 1λ↓Q(G@F#↓@↓A!  '↓!('↓! 'A ` 'A@@ (↓ @ (A   (A ⊂ )α* @)AJ@(*↓J0@)α*  A*⊂(AJ(↓A)p(α↓Ip(αAI`(βA)P(∧↓I@(¬↓I@(¬↓I0(ε↓HT <F#"⊂ `hα∩``hα∪P`α∪`Xα∪ PXα∪ PPα∪ `Hα∪@P@α∪@`8α∪`P8α∪``(α∀P(α∀P αT P_α∀ P_α∀ `λα∀@Pλα∀@Pλα∀a¬_∧∃e β∃ U(α∃ E α∃E_αT`E_α∀@E⊂α∀ Uλα∀T("≡B1 ε⊃λ%D)1λ+↓*P0*↓J@0)AJ 0)↓J⊂0(AJ0'AIp0'↓I`0&AI@0&↓I00%A)!_%∧I!⊂"Qλ∩λ⊃λD x↓V 5@αVU8βU`u8βUA∃0↓@ U(α e(↓@`U α`e α`e ↓A U_α↓ e_α↓@U⊂α↓`e⊂ααU⊂ααUλαα eλαα@U
TαTxS`@hβ∪`@hβ∪@@xβ∪@@xβ∪ Qβ∪ Aλβ∪QλβSA_β∪A_β∩`Q β∩`A(β⊃(D⊂πD"⊂Ci1⊂%Di0(βB	0(∧AI0(¬↓I0(¬A)0(¬A)0(¬A)0(¬A)0(¬A	0(¬↓)0(∧A)0(βAI1%D)1_%A!8%A! 0%A!00%A!@(%A!@0%A!P(%A!P(%A!P(%A!P(%A!P(%A!@(%A!@(%A!0(%A! 0%A!8%Di1λ%ChT !Fcb⊂⊃β↓¬_π∀"%∧↓@dxβB@Dpββ 4hββ`$hαD∀`β∪TXαR`TXαR@TPαR@TPαR@TPαR@TPαR@TPβ∩`TXαR`d`αSdhβ∧∀hβC Dp∧αdx
∀α∃⊂εU↓∧("⊃βb ⊃λ@⊃⊂%E	10%Ei0(¬α)0(εα	0(π↓i0(πAI0(λ↓I0(λA)0(λAI0(	↓)0(	↓)0(	↓I0(	A)0(	A)0(	A)0(	A)0(	A)0(	A)0(	A)0(	↓)0(	↓)0(	↓)0(λA)0(λ↓I0(λ↓)0(πAI0(π↓I0(εAI0(¬Ai0(∧B	1 %Di1"QλQ8∞λD λ
∪α4`	Sα4`αST`αST`αST`αST`αST`λ∪α∧`λ∪T`αST`αST`αST`αST`αST`αST`αSαT`
SαD`
⊃(D0εd"⊂E)A &¬	A &↓)@(&↓)@(&↓)@(&↓)@(&↓)@(&↓)@(&↓)Aλ&∧)Aλ&↓)@(&↓)@(&↓)@(&↓)@(&↓)@(&↓)@(&↓)@(&↓HT #GD∩⊂⊃β!¬ π∀b%λ∧↓@uβB@Txββ Dpββ`4hβ∧ ∀hαSd`αR`TXαR`TPαR@TPαR@TPαR@Q⊂βR@Q_β∩@a⊂αR`Q⊂αR`Q⊂αR`aλαSQλαSaαS `xαS ppαS@phαSa@∧∀αuλλ@@5_εA5(∧α$("∩βr ⊃λ@⊂0λ↓I@(λA)@(λA)@(λA)@(λA)@(λA)@(λA)@(λA)@(λA)@(λA)@(λA)@(λA)@(λA)@(λA)AX&εiAX&↓"⊂(&↓"⊂(&↓"⊂(&↓"⊂(&↓"⊂(&↓"⊂(&↓"⊂(&↓"⊂(&↓"⊂(&↓"⊂(&↓"⊂(&↓"⊂(&↓"⊂(&↓"⊂(&↓"⊂(&↓"⊂(&↓"⊂(&↓B0"Q	⊂HπλD λβ∪T`αST`αST`αST`αST`αST`αST`αST`αST`αST`αST`αST`αST`αST`αST`αST`αST`β⊃(DPπβDr⊂∧↓J0()A*0()A*0()A*0()A*0()A*0()A*0()A*0()A*0()A*0()A*0()A*0()A*0()A*0()A*0()A*0()↓J ()↓) ⊂αA) _↓AI X%αI@0"Q	1p⊃HD λββ`T`αC@T`αC T`αCT`αB`T`αB@T`αB T`αBT`αA`T`αA@T`αA T`αAT`α@`T`α@@T`α@ T`¬SPλβ∪PλβSP⊂β∪P_β∪P β∪P(β∪P0αSP0β∪P8β∪P@β∪PHβ∪PPαSPPβ∪PXβ∪P`β∪PhαSPpαSPxαSPxβ⊃(D`π∧"⊂AI0(%A)0(%A)0(%A)0(%A)0(%A)0(%A)0(%A)0(%A)0(%A)0(%A)0(%A)0(%A)0(%A)0(%A)0(%A)1(%E)1 %EλT &J%b⊂⊃ "⊂↓R`2α∩`Axα∩`ApαR`QhαR`aXβ∩`aPβR`qHβRa↓8∧∩a↓0∧Ra⊃(∧Ra!_¬∩`@λαD@PλαR`@⊂αD @⊂αR`@⊂ββ`P⊂αR`@_αC@P_αR`@_ββ P_αR`@ βα`P αR`@(αB@P(αR`@(βα P(αR`@0β↓`P0αR`@8αA`P0αR`@8β↓ P8αR`@@αAP@αR`@@β`P@αR`@Hβ PHαR`@P¬α@TXααA PαR`@X∧α`TXαβpXαR`@`ββTXαβ @hαR`@hαβ TPαG@TPαG@T("∪CR⊂⊃λ@⊂⊂
A)0_
↓)0 	A	0(	↓	00λA	08λ↓	08λ↓	0@πA	0Hπ↓	0PεA	0 AA@ %A (ε↓	0 ↓A!0 %A00¬↓	0 α↓A⊂ %AP0∧↓	0 β↓@p %Ap(βA	0 βA@` %A↓0αA	0 ∧A@@ %A↓ 0↓A	0 ¬A 0 %A↓@(↓↓	0 ε↓@⊂ %A↓PP%A↓`H%A↓p@%Aα8%Aα8%Aα⊂0%Aα (%Aα0 %↓"@_%↓"P⊂"Q	r⊃HD `∧Tauλ	Tp0∧∪``PβS@``βS `pβ∪ Qβ∪aλαSQ⊂β∩`a_αR`Q αR`Q β∩@a(αR@Q0αR@Q0αR@Q0αR@Q0αR@Q0αR@Q0αR@Q0αR@Q(β∩@a αR`Q αR`Q_β∩`a⊂αSQλβ∪aαS `pβ∪ p`β∪@pPβ∪a0βTα5⊂πU!∀("∀β↓p⊃λ@⊂x%D)1_%A!8%A! 0%A!00%A!@(%A!@0%A!P(%A!P(%A!P(%A!P(%A!P(%A!@(%A!@(%A!0(%A! 0%A!8%Di1λ%Ci0(%A)0(%A)0(%A)0(%A)0(%A)0(%A)0(%AHT (H∧28⊃β↓∃_πT"5βAA∧xβα@tpββthββ@dhαDd`β∧ T`αD@dXβ∧`TXαETXαEdPβ¬ TPαE@TPαE@TPαE@TPαE@TPαE@TPαE@TPαE@TPαE dPβ¬TXαETXαD`dXβ∧@T`αD d`β∧Thββ@dhβCdpβB@dx∧↓@u	TAuλπTP0∧↓@∀x↓BaDxCA6∧_@T("∀C2λ⊃λ@⊂x%D)1_%A!8%A! 0%A!0(%A!00%A!@(%A!@(%A!@(%A!@(%A!@(%A!0(%A!0(%A! (%A!0%A ⊂`%A  H%A 0(%A 00%A @(%A P(%A `(%A `0%A p(%A!(%A!0%A!⊂0%A! (%A!0(%A!00%A!@0%A!P(%A!P0%AAP0"Q
10HD @∧∪adpλ∪ `(β∪`@α∪PXR`TXαR`TXαR`TXβ∪d`∧∪!∀p¬∪a5ε∀A5 ¬∃A∃@βV uPβ⊗`UXαV`UXαR`⊂pβ∩@0hαR@PPβ∩@p0βRB4`πT↓∀("∃β1h⊃λ@↓X%εi!X%εjP(*A*P(*A*P(*A*P(*A*P(*A*P(*A*P(*A*P(*A*P(*A*P(*A*P(*A*P(*A*P(*A*P(*A*P(*A*@8"Q
Qh⊂HD λβDT`αD T`αD D`αD D`αD D`αD D`αD D`αD D`αD D`αD D`αD D`αD D`αD D`αD D`αD D`αD D`αD D`αD D`αD D`αD D`αD D`αD D`αD D`αD D`β∧D`ββ`Thββ@Thββ Tpβα`dpβB dx∧↓ u	∀"¬_ε∃!∧("∃D∩⊂⊃λ@⊂0
A	00
↓)@0	A	@0	A	@0	↓)P0λA	P0λ↓)`0πA	`0πA	p0εA	p0εA	p0ε↓*0¬A
0¬A
⊂0∧A
⊂0∧A
 (∧↓
 0βA
 0βA
00αA
00αA
@(α↓
@0↓A
@0↓A
P0A
P0A
`(@j`H+Ajp8+Ak(,↓+⊂_,@hT +JEB⊂⊃`p↓C@TXββ @hα∩```αC DXββ``α∪P`βα`D`αB`pXα∪`P∧α@D`βαAPα∪`H∧B@DhαB 0λβαDhαB@λβαDhβ↓`0_β↓`Dhβ↓`0_β↓`DpαA@@_β↓`4pαA@0(β↓ DpαA @(β↓ Dpβ↓@(βADpβ↓08β↓Dxα@`@8β↓4xα@`@@β@Dxβ@0Hβ@Dxβ @Hβ@Dxβ 0Xβ 5α@ 0Xβ 5∧C↓∃∧β!∃∧β!∃λββ`uλββ`uλβ∧eλαD eλαD@E⊂α∧@E⊂↓D`E⊂↓E4("⊗∧∩⊂⊃λ@00λ↓)`0π↓)`0π↓)p0ε↓*(¬A*0∧AJ⊂0∧↓* (βA* 0αA*00α↓*@(↓A*@0A*P(A*`H+α
p0,↓Jp8+B
`P*A ⊂(*↓  0*↓ 00)A P()↓ `0)↓ p0(A!⊂0(↓! 0'A!@0'A!@8'↓!`0&A"0&↓"⊂8&↓" 0%A"@0"Q∩λ⊃λD λβ¬T`β∧@T`β∧@Thβ∧TpαC`Tpββ@TxββUαB`Uβα@EλβαUλβ↓`U⊂β↓@E_β↓U_β`U β@E(α@ U(¬∃A¬8βU`e@αVU@αVU@αVU@αVU@αVU@αVU@αVU@αQ(EPF$"⊂E)1(%E)1 -↓+⊂(,A+(+AJp(+↓J`(*A*P(*↓*00)A* 0)↓*⊂0(A*((↓)p('↓I`(&AIP(&↓)@(%A)10%¬i!0%¬HT _¬C∩⊂⊃αu¬SaTpα↓ dhα↓`Th↓B T`αα T`αα@TXαB@TXαα`TXαβTXαβTPαCTPαCTPαCTPαCTPαCTPαCTPαCTPαCTPαCTPαCTPαCTPαCDPαCDXαB`DXαB@TXαB@D`αB D`αB 4hαA`Dhβ↓ DpεSa5λβQ(Cλλ¬∧2_ε*@_)↓)p@&BI h%↓ 0(%@ `()↓* ()↓* ()↓* ()↓* ()↓* ()↓* ()↓* ()↓* ()↓* ()↓* ()↓* ()↓* ()↓* ()↓*⊂8"Qε! λD 8βSAD`πRb∀XαA tX↓B dX↓α`U@β⊗ UHαV UHαV UHαVU@αU`e8αU@e0αU U β∀`e_αT@UλαTTxαS@ThαSTX	RB4P	RB4("bA@⊃λ@↓_%∧i!_%∧J`(*A*@()A* ((A*('A)`('αI`h'βJP@+AK0,A+⊂(,A+⊂(,A+(,↓*p(+↓*@0)↓ip@%BI0@%A)0⊂"QεAP
HD `↓∃@E(αU E αUE_αT`E⊂αT@@0↓T P αT @(αTP(αT@0αS`P0αS`@8αS@P8αS@@@αS P@αS @HαSPHαSPHαR`PPαR`PPαR@PXαRC$P
∩C%PαV@UPαV@UPαV eHβQ(C(	F∧"⊂∧)!λ%∧)!λ%↓	  %↓	  %↓	  %↓	 h%βi!*↓j`0+A*p0,↓+(,↓+(,↓*p(+A*`(*AJ@0)↓j@'α	0H%α	 (%HT ≠¬C∩⊂⊃β@e(∧Ta5λβ∀TxαS@ThαS T`αSTXαAdXα@A$Xα@!DP∧A dP∧↓`TPβB TPβα@TPβα@TPβα`TPαCTPαCTPαCTXαβTXαβTXαβTXαα`T`αα@T`αα@Th↓B Thα↓`dpα↓ dxεT↓5⊂β⊃(C8
F$"⊂E	1 %E	! -↓⊂ ,A ,jp +@j` *A
P *↓
@ )A
0 )↓*  )↓
⊂ (A
 (↓	p('A	p '↓)`(&A)P(&A)@(&↓(T ≤¬C∩⊂⊃αe¬∪Adhβ↓@D`αB@4`αβ$XαC4XαC4XαC4XαC4`αB@4`βαDhβ↓@Dpβ@@Txε∀↓∃¬SAdhβA∧`αA@tXαBtXαα@dPαβdPαβdP↓C@TP↓C@TP↓C@TP↓C@TPαβdX↓CTXαα@d`αA@thλ∪aEλ∧⊃(CHε$"⊂∧↓JP'β)P(β↓	@(∧↓	@ ¬i0(¬↓	0 εi (ε↓	 (ε↓	 (ε↓	 (ε↓	 (ε↓) (ε↓) (ε↓) (¬AI0(¬↓I0(¬↓I0(∧Ai@(βB	@0αB)P`A)`P↓↓*0α↓+⊂(,A+(,↓*p(+↓*P()AI@X&α)@0"Q↓0∞λD λ
∩bDX
RbTXαR`TXαR`TXαR`TXαR`TXαR`TXαR`TXαR`TXαR`TXαR`TXαR`TXαR`TXαR`TXαR`TXαR`TXαR`TXβ⊃(@λ⊂λD"⊂πk +A*p0+↓j`@+α
PP*A⊂(*↓0(*↓0()A 0()AP()↓ P()↓`0)↓p((A p0(A↓⊂((↓!⊂0(↓↓0('A!00'A↓@0'↓!P('↓↓`0'↓↓p(&Aα0&Aα⊂(&↓α 0&↓α0(%Aα@0%AαP(%↓!⊂↓↓I"%λ	""Q"⊃HD `∧Tauλ	Tp0∧∪``PβS@``βS `pβ∪ Qβ∪aλαSQ⊂β∩`a_αR`Q αR`Q β∩@a(αR@Q0αR@P_λ`TPα@b_αR@P_λ`TPα@b_αR@Q0αR@Q0αR@Q(β∩@a αR`Q αR`Q_β∩`a⊂αSQλβ∪aαS `pβ∪ p`β∪@pPβ∪a0βTα5⊂πU!∀("d∩⊂⊃λAp_,@k(,↓*p8+Ajp8+α*`_A*P AJP AJ@ ↓AJ@ ↓AJ@ α↓*0 αAJ0 αAJ  βAJ  βAJ  ∧↓*⊂ ∧AJ⊂ ∧AJ ¬AJ ¬AIp(ε↓Ip εAIp εAI` πAI` πAIP(λ↓IP λAI@(	↓I@ 	AI@ 	AI0(
↓I0 
AHT αεcR⊂⊃Bt`SαtXQa0(λSb∀xλSb∀8εβ4XRc∀XQ(@(∞HD"⊂FiAH&ε)@(πA)@(πA)@(πA)@(πA)@(πA)@(πA)@(πA)@(πA)@(πA)@(πA)@(πA)@(πA)@(πA)@(πA)@(πA)@(πA)@(πA)@(πA)@(πA)@(πA)@(πA)@(πA)@(πA)@(πA)@(πA)@(πA)@(πA)@(πA)@(πA)@(πA)@(πA)@0π↓HT βεCB⊂⊃αtP∩C∧XSdhβ∪@dpβS`uβT u⊂βT`e β∃ e0β∃`e8β∃`U0αU U αT`U⊂αT UαS`Txα∪@ThαSTXRC$PRC∀("↓d∩_⊃λ@@0εAI@P∧BI0`βC	0hαC)  αA@00αA	 ⊂∧A0 ∧@I λ¬A⊂ ¬@*p_@jp_@k⊂@K⊂@K⊂@K(,↓+(,↓+(,↓+(,↓+(,↓+(,↓+(,↓+(,↓+(,↓+(,↓+(,↓*p8"Q↓α⊃λD pα⊗E@α⊗E@α∃↓Eλ	∪bdpβ@`@_βS `(α↓ d`β↓@@0β∪P8α↓`TXβ↓`@@αR`P@ααTPβα@HαR@PHαα TPαB @HαR@PHαα TPαB @HαR@PHαα TPαB @@β∩`P@ααTXαB@8β∪P8α↓`T`β↓@@0β∪ `(α↓ dpβ@`@_βSbeλ	∃↓E@α⊗E@α⊗E@α⊃(@H⊃λd"⊂π↓K⊂ ,A⊂ ,A	0(∧A↓⊂(%A!⊂ ∧A)@ ∧A↓⊂ &↓! ∧↓)@(∧↓↓(&↓! ∧↓)@(∧↓↓(&↓! ∧↓)@(∧↓↓(&↓! ∧↓)@0βAp0&↓@p βAIP(βAp(&A@` β↓IP0β↓`0'↓@P αAI`8α↓@8'A`0 ↓Aj@A⊂@(E
!⊂*βJp@,A⊂ ,A⊂ ,A⊂ ,↓HT ¬λDR⊂⊃β@u(εTb∃λβ↓A¬αB@txαC dpαC`dhαD ThαD@T`αD`d`αET`αETXαE@TXαE@TXαE@TXαE@TXαE@TXαE@TXβ¬T`αET`αEDhαD@Tpα∧@DpαDTxαC@Uαβ@EλαβE⊂αα@E_ααE α↓@E(↓A@4Pπ↓AdXεAATXεAATXεAAT("∧↓Xε (&↓)@(&↓)@(&↓)@(&↓)@(&↓)@(&↓)@(&↓)@(&↓)@(&↓)@(&↓)@(&↓)@(&↓)@("Qα⊂P¬λc(αS`TxαS`TxαS`TxαS`TxαS`TxαS`TxαS`TxαS`TxαS`TxαS`TxαS`TxαS`TxαS`TxαS`TxαS`DpαS@TP↓ TP∧∩@t`α⊃(A⊂εC!"(i  %↓)0(&A	` 'A*⊂ )↓
@_*@HT 	C!PP∩B@5_α∀@UλαTDxα∪ T`α∩`DP↓R@$("¬α↓βλ@⊂εI  ∧↓	0 β↓	P ↓↓	`@'AJ "QαQλα∧@↓B@4P↓B@4P↓B@4P↓B@4X↓B4Xα↓@D`ε∪!$xβ⊃(A0λ∧"λ∧	!%∧λT Dα@∩↓@TxβS@0_↓S@ (↓∪@ (↓∪@ (↓∪@0_↓S`uαQ(0β∂x␈␈␈pα∂x␈␈␈∨x␈␈␈p@↓T@5 αU@E0α∀↓∃βQ(AHεdb(∧AJ⊂P(β	p(↓AI`(αA)` β↓IP(βA)P(βA)P ∧↓)@(∧↓)@(∧↓)@(βA)@(βA)00β↓)00β↓)@(αA)@(αA)@(αA)@(αA)@(αA)@(β↓)@(β↓)@(βA)@(∧↓)@(∧A)@(¬↓)@(¬↓I@(¬A)@(ε↓)@(ε↓)@(ε↓)@(ε↓)@(ε↓)@(¬AI@(¬A)@(¬↓I@(↓C	@(↓Bj@H"Qβ"0∀εC⊂XβA`eλε↓↓$pπ@AT`βA`0λαA T`αα``@α∪ pαα E`↓B`E`↓B`E`↓βEX↓CEX	Ubu(T``λα∀ P α∪`P0α∪ `8α∪PHαR`PXα∩@P`αR@P`αR@PhαC $PβαAPα∩A0ε↓@TX	"∧`πA!Dp¬α@t("εeαX
ε!⊂8¬AJ⊂Xβαippαβ)`(αA@ (αA)P(∧α@p &↓! @∧↓	@(¬α↓⊂ %A!@8∧A	0(ε↓A  %A↓`(¬↓	 (π∧i (π∧i (π∧i (π↓	 (π↓	 (π↓	 (π↓	 (π↓)0(ε↓I0(ε↓i0(¬B	@(¬α!@⊂&↓A AA⊂ &A`P ↓A`P('β@Px'Ba`(Aa@@"QβA8
π#! ↓↔ %⊂β@`4xε $pπS `(β∪`8β∪P@β∩`P@∧∩`P@↓ TXαA` ⊂β∩@P8↓@`TPαA`  αR@P0↓↓ TPαA 0(αR@P(↓↓@TPαA 8αR@P_↓A`TPβ@ 8αR`Pλ↓αTX∧αT`βαT`β↓`dhβ↓ dpπS  λε∪0_βS$X↓⊃(Ah∃
D"⊂	EA(.¬+10-αK  A+⊂(A+⊂ ↓↓+(↓↓+ ↓A*p(↓A*p α↓*`(α↓*` αA*P(αCjP ββj@(ββj@ βA*0(βA*0 ∧↓*  ∧A*!⊂(Dj⊃_(↓! ((↓↓0('A!0('↓!@('↓!@(&A!P(&A!P(&↓!a(&↓!a(%A!q %A!q "Qβc→HD h∧↓B% πb%⊂	"%λβ↓c∃αBa$xαCA∧pαDthαD@dhαD@d`αET`αETXαE TXαE TXαE TPαEAtPαEAtPαEAtPαE@TPαE@TPαE@TPαE@TPαE@TXαE TXαE TXαE T`αET`αD`dhαD@dhβ∧tpββA∧xβαa%βAcEλ	@"U_π@bE0∧ABD("πdα_∀I#@⊂3LP⊂+α P⊂)C` ⊂(E
8βα	p0¬↓i`0ε↓iP0εAiP(πα	@0ε@@ (&↓!P⊂↓AI00ε@@@(%A!P⊂αA)0(ε@`0%↓A@⊂βA) (εA(%↓!0⊂∧A) (¬@A⊂(%↓! ⊂¬↓) (∧@A0(%↓!⊂⊂¬A) (∧A@(%↓ p⊂ε↓I 0βA@(%A P⊂εA)0(αAP0%A@0⊂εA)@(↓AP0&α↓`(&AaP0&Aa@0'↓a 0'B`8'E	`⊂↓βi`⊂αB)P⊂&I@⊂"Qaλ↓D⊂0α∪`dp∧∪ @⊂α∩`@0α∩@@@α∩@ `↓⊃(Gpλ∧b⊂↓↓↓⊂%A@p⊂%BP⊂%@@ αI ⊂αB	 ⊂βAI ⊂∧↓λT ?Dα ⊂@ 0@↓R@P0αR@P0αR@P0αR`0@↓Q(Bλαβ∧"⊂↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  #A@⊂⊂%↓	  %↓	0⊂"Q∧1H
K∧0X↓α% ↓A`5 ↓α% ↓α% ↓α% ↓α%_↓A`5_↓α%_↓α%_↓α%_↓α%⊂↓A`4h∪"dh∪"eλ↓A`5λ↓α%λ↓α%λ↓α%λ↓α%↓A`5↓α%↓α%↓α%↓α$x↓A`4P∩BdP∩Bdp↓A`4p↓α$p↓α$p↓α$p↓α$h↓A`4h↓α$h↓α$h↓α$h↓α$`↓A`4`↓α$`↓α$`↓α$("	αA@∩	↓⊂⊂)@J0⊂)@J⊂8'β	Px&↓@⊂⊂↓↓I@ ↓@@@ %A@⊂α@i0 α@`⊂%A@⊂%A@⊂%A 0⊂&↓  ⊂&α)PH'αJP)α*0H)@@0()@@@ )@@P )@@P )@@P )@@P %@p⊂α↓)  α@@0(%↓@0⊂Ai!⊂&βipH)@J0⊂)@J0⊂"Q∧QP∞I∧@(αβ@∀hA  X↓S⊂8↓αDX↓↓adXB!DP↓α  8↓∩@ H↓↓@4P↓α  (↓R@ H↓↓ $P↓α   ↓R@08↓↓4X↓↓`  ↓∩`0(↓↓4`∧↓4pα↓@%8↓U@50↓U 5 ↓U5_↓T` 8α∀@0(A %λ↓A ⊂8↓∀  (↓↓`%↓A ⊂H↓∪`0(↓α $x↓↓@ H↓∪@00↓α $h↓A` H↓∪  @↓α $`↓B08↓∩`0P↓↓`$X↓B@0(↓∩@0`∧∩`⊂xα⊃(B0⊂I∧"⊂εAJPP*β
0(αA
0 β@j  ∧@j  ∧@j  ∧@j  ∧@j (∧j0 β@j0(αA
@(↓↓*@X*B* P(αi`p∧A	P@↓↓A_&↓`P0β↓	00∧↓ ` %A! (α@i (ε↓ 0 %↓!@0↓i (εA ⊂ %↓!`@%↓!p0%↓Ap(%AAP8%Aa0H&αp`&D`⊂0'∧ 00(β `0)α↓ 0"Q∧p0¬β∧⊂↓R`TXαSD`α∪ $h↓∪ $`↓∪$X↓∩`$XQ(B@π∧&∩0¬@J@ )A*  (A
 'A)p '↓	` &A	P &↓	@ &↓	0 %A	0 %A	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	0 %A	0 %A	@ &↓	@ &A	P '↓	` 'A	p((↓
⊂ )↓
0(*↓
P⊂"Q¬⊂pπ$`λ↓∩@DPαSDhα∪@DpαS`Eα∀Eλα∀ E⊂α∀@E⊂α∀`E_α∀`E_α∃E α∃E α∃E α∃E α∃E α∃E α∀`E_α∀`E_α∀@E⊂α∀@Eλα∀ Eα∀Dxα∪@Tpα∪ D`α∩@TPα∩`$("
Aq_λλ@`_(j_%@@0_↓@I  ↓@@  %↓  λ↓↓)0(@ ⊂('↓j⊂⊂'↓i0(@ ⊂(%↓  λ↓↓)  ↓@0 %@@0_↓@J_(j_"Q¬1P⊂F# `↓∃@%0↓∃@%0↓∃@%0↓∃@%0↓∃@%0↓∃@$P
∩C%0↓∃@%0↓∃@%0↓∃@%0↓∃@%0↓∃@%0↓∃@$("pXε↓  %AI00%AI@(&@iP_&@IP⊂&I@⊂%@I0⊂"Q¬`(¬A@λ↓R@TPαR@TX↓Q(Bxεε∩0
+P_.@K@_.k@⊂-@k0⊂-k _-K⊂_,@K_,K⊂+@jp⊂+j`⊂+JP_*@J@_*J@⊂)@j0⊂)j ⊂)J⊂_(@J_(J⊂'@ip⊂'i`⊂&@iP_&@I@_&I0_%@i0⊂%i0λ"Qπ 0¬Eα@λα∩@dPβ∩@dXα⊃a0λα∩@dPβ∩@dXα⊃(CXβBcA ↓↓	00%AI00&↓λpX↓↓	00%AI00&↓)P_&@iP⊂&@I@⊂&I0⊂%@HT ≡F$h
β∀PQa RC∀("∂b⊃ ⊃λ@P0&BI0h%βi  αα	 _βAI ⊂∧AJ`(+↓*`(+↓*` *A*P *↓
0 )↓
⊂ (↓	p '@i` '↓	` #A@P⊂'↓	` '↓	p⊂"Qλ↓p⊂HD@X∧∀aEλααE↓C4x↓∧$p↓∧@$h↓¬$h↓¬$`↓α@`0↓∪ @¬@`$X↓α0 αA$X↓↓`00α↓$X↓↓` 8α↓$P↓↓`08α↓ $P↓↓` @α↓ $P↓↓@0@α↓ $P↓↓@0@α↓ $P↓↓@0@α↓ $P↓↓@0@α↓ $P↓↓@0@α↓ $P↓↓@0@α↓ $P↓↓@0@α↓$X↓↓@08α↓$X↓↓@00α@`$X↓↓@@ β 4`↓↓A⊂λβ∪ 8β`Dh↓∪ $p↓∪`%↓C`%λαα e_πU!∀("⊗aq0_I@x%βi ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I x%βhT .Cb∪λ∪↓tPπU`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∩AtPπQ(Fβαa1hαIP⊂&@)@⊂&)0⊂%@I _%↓	 (%↓)0_"Q∧↓λ↓b`p↓∃ U⊂∧∪a∀`∧RA∧PαR@$("λB⊃(ελ _∧i0(β↓)0(β↓)0(βA	@ βA	@_∧@I@_∧@I@_∧@I@⊂∧@I0_∧@I0⊂∧@I0⊂∧@I0λ¬(T ⊗Dα0λπα∧Pλ⊃(E`λEA1h↓@A ⊂&@A⊂⊂&A ⊂&A⊂_&! ⊂%@A⊂_%@A⊂_%a %↓p(%↓ `(%↓ `(%@a_"Qqλ↓∧⊂8↓∀Eα∀Eλ↓⊃(GXF ⊂pε)!H"Q∂C⊂→!`→∩F$("∨!pp∧	P_αi` ↓A	` ↓A	P ↓A	@ ↓A	@_αi0_αi _αi ⊂α@HT ≡↓↓2⊂∞@ $Pα∩@DPα∩`$8βDPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα⊃(CpλE∧!h¬J0 )A
0 *Hp0∧A
0 )A
0_)↓
⊂ (↓	p '↓	P &↓	0(%A	 (%↓) (%↓) 0∧@I00β@i0@α↓	@x&C)`P(↓HT ¬H∧∩(∩Ff¬∀@p0¬T↓@⊂β↓$xβ↓0⊂αS@`0↓ TpαB@Thβα@ThαB@ThαB@ThαB@ThαB@ThαB@TP∂∩CdP∂∪ PPαS PPαS PPαS PPαS PPαS PPαS PPαS PPαS PPαS PPαS PPαS PPαS PPαS PPαS PPαS PPαS PPαS PPαS PPαS PPαS PPαS`Hβ⊃(@`FDR(∧AJ⊂X(β	p0α@Ip('↓)`('↓)P(&A)P(&A)P(%¬i!8%¬iP(¬↓)P(¬↓)P(¬↓)P(¬↓)P(¬↓)P(¬↓)P(¬↓)P(¬↓)P(¬↓)P(¬↓)P(¬↓)P(¬↓)P(¬↓)P(¬↓)P(¬↓)P(¬↓)P(¬↓)P(¬↓)P(¬↓)P(¬↓)P(¬↓)P(¬↓(T εF#"(∩BA∃⊂πT"¬βA Txβ↓`TxαBTpαB TpαB Thβα ThαB@ThαB@ThαB@ThαB@TPRBtPS PPαS PPαS PPαS PPαS PPαS PPαS PPαS PPαS PPαS PPαS PPαS PPαS PPαS PPαS PPαS PPαS PPαS PPαS PPαS PPαS PPαS PPαQ(@p∀
$R(↓LX)↓```(β 0α@Ip0α` ('↓@`⊂A)`(¬↓)`(¬↓)P(¬↓)P(¬↓)P(¬↓)P(¬↓)P(¬↓)"0%	I"0&A! (¬↓)P(¬↓! (&A! (¬↓)P(¬↓! (&A! (¬↓)P(¬↓! (&A! (¬↓)P(¬↓! (&A! (¬↓)P(¬↓! (&A! (¬↓)P(¬↓! (&A! (¬↓)P(¬↓! (&A! (¬↓)P(¬↓! (&A! (¬↓)P(¬↓! (&A! (¬↓)P(¬↓! (&A! (¬↓)P(¬↓! ("Q↓r@∀I$Q@∧X↓u⊂βAB∃ε@`8αS`` ↓@@P@αS@`0↓ PHαS@PPαB TpαB@PHαS PPαB@ThαB@PPαS PPαB@ThαB@PPαS PPαB@TP∪∩DdP∪∪ PPαB@ThαB@PPαS PPαB@ThαB@PPαS PPαB@ThαB@PPαS PPαB@ThαB@PPαS PPαB@ThαB@PPαS PPαB@ThαB@PPαS PPαB@ThαB@PPαS PPαB@ThαB@PPαS PPαB@ThαB@PPαS PPαB@ThαB@PPαS PPαB@ThαB@PPαQ=px4YVp:~,fH2\D¬'∀j>x
Xmv 4[Lw_1ZVh2H
F(,λ∞F(<≥≥p`3≠mg 3_,6(1≡.F(y@≥ >_|@
≠=pB%  ⎇M` ⎇M␈␈x␈␈`␈␈x␈⎇ 	↑`∞↓∂_a↓X≤⎇@∩ αo→β80{DP¬{5Pπ←0↓H@X	H∞%≡` ∂↓≠⊗@↓h⎇@R0βλ|βSP{↓CP∧Jo π8␈0βH`X≡.@∂¬≡`@∩↓9(≥↓pB⎇A∩ αrSPβqp{αDpε&8πv␈0¬G`Hx,↔(}``∞@↓∪  αx∨=AQhα&D¬{x{βE@π¬2
/0πKp
d_F>aπHx0α"=B⊂x↓≤6∧πh{∧APαε∀λ→o0	C  (⊂:}a λQp`αλ∧=BQ↓#l∧∩({¬BαGXλ)/0D(∂0⊂U}a@λQp`αλ==C⊃Xα→(∧~⊂{εE εb)PλG←0
K p5[@⊃.≡a`∞@↓∪Hα_"⎇CR`βF	@∧<P{πF@λ,πP		←0∂I Xvk ∩8≡bλQp`αh_⎇D⊃⊂↓=9∧←p{λC⊂∧
 )∂0⊃G H0z@∪⊂>b 
@↓`hα0v=DQpα7%h∧vh{	DP¬⎇⊂0
∧o0∪C@ Qx∀.>b@λ@Vλq@α@m=E⊃λ↓,≡_¬∀({
Cβk∂P
6∂0∃I@`(|∀}>b`π@Nλ(αP~=EQ0↓` h¬X_{B⊂α\⊗
J←0↔F@@≡&@∃→↑c
@↓`h↓8%⎇F⊃Xα→Mα⎇⊂{C0∧3~ε∧←0→F`@f4≡≡c 
@↓`h↓@b⎇FQXα→Mβ∪⊂{
C0∧3~ε/␈0≠F`@f4⎇↑c@
@↓`h↓P!⎇G⊃Xα→Mβ,⊂{∞A`α(|
Z∨0≥C@ Qx∃;↑c`	↑XHαp⎇GR0β
∨¬1X{∂BpβT␈PK/0∨E`8)␈ ∃K≡d⊃@↓5_}@αX:⎇H∩⊂αb2↓-λ{⊂D¬≠∀`αio0!HP↔0`¬s}d ∪@↓F⊂3`⊗=HQhα,%0↓Kλ{⊃CP∧MCPβ∨o0#H`X' εR}d@∀@↓Qphh`=I⊃⊂↓=9↓dh{∩B@β⊗β0βS/0%IX9g π=>d`∞↓∂_axC=IS ∧→␈@↓⎇_{∪Eε9p∧∃O0'I Xvk λW>e⊂↓$6@↓λr=J∩(α⎇Zhα$x{∀D ¬>}`∧]∂0)F`@]≠ 	]>e ∂↓~_
↓_h=JR0βε∞⊂αAh{∃D ¬Dd¬∃∂0+K@pkβ@
J}e@⊃@↓2pe↓0ε=K∩⊂αZdPαiλ{⊗C⊂∧α/ ¬←o0-E`8=∨ ⊗∂≡e`@↓αHαhG=KQ8↓o'h¬J8{↔BαGX	4∨0/D(∂0⊗q>fπJ_pαh	=L⊃PαW_α_{_CP∧U≠⊂∂01E@8↓n`B>f ∞@↓∃ lλ)=LQPα
5p≥8{→BαClE∂03G H*6↓≡}f@∞@↓∪⊂6@_↓=M⊂p↓⊃v8H{~Apα8lyo05F`@d1 α
}f`πHx0 V=MR`βB;hOh{≠CP∧LMP↓4O07G H≤@β∧}g∞@↓∃ l0==N⊃hα*M@oX{≤B@β≡x0↓oo09E@8π↔ βp>g 	@cλ_@¬=NQhα&&h↓¬({≥C0∧4YPα_O0;J`←↔ ∧H}g@@↓`-He=O⊃Xα~,h↓"8{≡B@β≤W αS∂0=F @⊗u↑g`→ααhp⎇OPh↓β
¬↑`{∨BαGX	7o0?D(∂0∩x␈⊂EX_ow{⎇x